Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
151	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
152	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
153	Why3: Shepherd Your Herd of Provers? Fran¸cois Bobot1,2 , Jean-Christophe Filliˆatre1,2 , Claude March´e2,1 , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2011-06-30 04:33:49 Formal methods Model theory Automated theorem proving Functional languages First-order logic Well-formed formula Functional predicate Proof assistant ML Logic Mathematical logic Mathematics
154	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
155	c Cambridge University Press 2010 JFP 20 (1): 71–122, 2010. 71 doi:[removed]S0956796809990293 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-01-28 13:39:47 Functional languages Logic in computer science Metalogic Formal languages Mathematical logic OCaml Metalanguage Proof assistant Twelf Software engineering Computing Theoretical computer science
156	Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-10-18 09:46:53 Lambda calculus Formal methods Type theory Logic in computer science Programming language theory Twelf POPLmark challenge OCaml Proof assistant Software engineering Computing Theoretical computer science
157	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
158	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2010-06-15 17:48:13 Apache Subversion Git Proof assistant Debian Matita Software Free software Trac
159	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:31 Formal methods Automated theorem proving Logic in computer science Type theory Programming language theory Matita Proof assistant POPLmark challenge Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Applied mathematics

UPDATE